Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
361	Towards decidable classes of logic programs with function symbols Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna DIMES, Università della CalabriaRende (CS), Italy {calautti,greco,cmolinaro,trub Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:12 Metalogic Functions and mappings Predicate logic Proof theory Function Μ operator Well-formed formula Answer set programming Decidability Logic Mathematics Mathematical logic
362	Sequential Games and Optimal Strategies ´ and Paulo Oliva By Mart´ın Escardo University of Birmingham, Birmingham B15 2TT, UK Queen Mary University of London, London E1 4NS, UK This article gives an overview of recent Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-10-28 12:00:26 Quantification Functions and mappings Predicate logic Function Universal quantification Continuous function Constructible universe FO Nash equilibrium Mathematics Logic Mathematical analysis
363	INVARIANT RELATIONS: A CONCEPT FOR ANALYZING WHILE LOOPS Ali Mili, NJIT NII, Tokyo, Japan December 20, 2011 Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2012-02-02 20:36:57 Formal methods Control flow Program logic Loop invariant Invariant Predicate transformer semantics First-order logic Logic Software engineering Computing Mathematics
364	Coalition Logic Quantified Coalition Logic Norm Compliance CTL Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2012-02-02 20:36:55 Modal logic Philosophical logic Artificial intelligence Predicate logic Epistemic modal logic Temporal logic Quantification Logic Mathematical logic Science
365	An Operational Semantics for Network Datalog Vivek Nigam1 , Limin Jia2 , Anduo Wang1 , Boon Thau Loo1 , and Andre Scedrov1 1 University of Pennsylvania, Philadelphia, USA Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Mathematical logic Datalog Predicate Logic programming Function Modal logic Logic Mathematics Programming paradigms
366	MURDOCH RESEARCH REPOSITORY This is the author’s final version of the work, as accepted for publication following peer review but without the publisher’s layout or pagination. The definitive version is available at Add to Reading List Source URL: researchrepository.murdoch.edu.au Language: English - Date: 2012-08-02 00:56:43 Grammar Predicate Semantics Categories The Killer Logic Mathematical logic Charles Sanders Peirce
367	Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome, Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Predicate transformer semantics Program logic KeY IP NP Symbolic execution PP Algorithm Function Theoretical computer science Mathematics Applied mathematics
368	Artificial Intelligence Tutorial 1 - Answers 1) Suppose you are searching for a girl’s name written using only the letters D, N and A. You have the letters ordered alphabetically (A, D, N) and you start writing down po Add to Reading List Source URL: ccg.doc.gold.ac.uk Language: English - Date: 2013-09-18 10:16:32 Predicate logic Semantics Quantification Heuristics Model theory Heuristic function First-order logic A* search algorithm Function Mathematics Logic Mathematical logic
369	AEG: Automatic Exploit Generation Thanassis Avgerinos, Sang Kil Cha, Brent Lim Tze Hao and David Brumley Carnegie Mellon University, Pittsburgh, PA {thanassis, sangkilc, brentlim, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software engineering Software testing Logic in computer science Automated theorem proving Concolic testing Symbolic execution Buffer overflow Predicate transformer semantics Precondition Theoretical computer science Software bugs Mathematics
370	A theory of restrictions for logics and automata Nils Klarlund AT&T Labs{Research ([removed]) Abstract. BDDs and their algorithms implement a decision procedure for Quantied Propositional Logic. BDDs are Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:50:50 Models of computation Predicate logic Automata theory Model theory Philosophical logic Denotational semantics First-order logic Formal language Second-order logic Logic Mathematical logic Mathematics

UPDATE